1,611 Hits in 9.7 sec

A journey in modal proof theory: From minimal normal modal logic to discrete linear temporal logic [article]

Simone Martini and Andrea Masini and Margherita Zorzi
2020 arXiv   pre-print
A sequent calculus for the discrete linear temporal logic ltl is also given and proved complete. Leitmotiv of the paper is the formal analogy between modality and first-order quantification.  ...  Cut-elimination is proved only once, since the proof goes through independently from the constraints giving rise to the different systems.  ...  Discrete Linear Temporal Logic In the previous sections we have exploited the notions of position as sequence of tokens.  ... 
arXiv:2001.02029v1 fatcat:tl2scgxxwjcitehcizkxqnzxn4

Changing a Semantics: Opportunism or Courage? [chapter]

Hajnal Andréka, Johan van Benthem, Nick Bezhanishvili, István Németi
2014 Studies in Universal Logic  
The generalized models for higher-order logics introduced by Leon Henkin, and their multiple offspring over the years, have become a standard tool in many areas of logic.  ...  We also show how thinking about Henkin's approach to semantics of logical systems in this generality can yield new results, dispelling the impression of adhocness.  ...  While this is a 'continuous' rather than a 'discrete' temporal setting, many of our earlier points apply.  ... 
doi:10.1007/978-3-319-09719-0_20 fatcat:vozrx72hn5etnkm3r65t7ejrum

Reasoning about Time, Action and Knowledge in Multi-Agent Systems

Ji Ruan
2010 Künstliche Intelligenz  
Acknowledgements This section is to thank the people who have helped me on the journey of completing my thesis. I owe my greatest appreciation to all of them.  ...  Linear-time Temporal Logic The language of Linear-time Temporal Logic (LTL) is an extension of propositional logic with temporal modalities. Definition 2.5 (LTL Language).  ...  In their approach, each action w in an action model M corresponds to a unique labelled modality (M,w) , interpreted in a linear-time temporal logic, such that a dynamic epistemic formula of the form [M  ... 
doi:10.1007/s13218-010-0075-6 fatcat:plb3pheairb5bk7uonv7pk3ysi

Journeys in non-classical computation II: initial journeys and waypoints

Susan Stepney, Samuel L. Braunstein, John A. Clark, Andy Tyrrell, Andrew Adamatzky, Robert E. Smith, Tom Addis, Colin Johnson, Jonathan Timmis, Peter Welch, Robin Milner, Derek Partridge
2006 International Journal of Parallel, Emergent and Distributed Systems  
This journey of Non-Classical Computation is: to develop a science of computation using spatio-temporal dynamics and propagating phenomena, in manydimensional amorphous non-linear media.  ...  Well-known examples are dynamic logic [80] , temporal logic [79] , the temporal logic of actions [59] and the mu calculus [56] .  ... 
doi:10.1080/17445760500355454 fatcat:amvihccwmvbvviswdc5344cu5m

Multiagent-Based Simulation in Biology [chapter]

Francesco Amigoni, Viola Schiaffonati
2007 Studies in Computational Intelligence  
This book is a contribution to the study of abductive reasoning, providing logical foundations and a sample of several applications.  ...  More precisely, we point out that a cognitive niche emerges from a network of continuous interplays between individuals and the environment, in which people alter and modify the environment by mimetically  ...  For each of the application contexts, a suitable adaptive logic will be presented (both the semantics and the proof theory).  ... 
doi:10.1007/978-3-540-71986-1_10 fatcat:truqtavqmzdtxfygthvyjdb46y

Relational Frame Theory [chapter]

Michelle Cox, Kenneth Foster, Josh Pritchard, Ivy Chong, Chad A. Noggle, Anna Mazur-Mosiewicz, Andrew S. Davis, Kim Guion, Matthew J. Holcomb, Raymond S. Dean, Matthew J. Holcomb, Raymond S. Dean (+65 others)
2011 Encyclopedia of Child Behavior and Development  
Learning to think in relational frame terms means learning to think behaviorally in a molar and contextual way. To those willing to take the journey we promise to try to make it worth the trip.  ...  Taking RFT from a theory to an actual living research program required a person with greater creativity, organization, focus, and persistence than I possess.  ...  Taking RFT from a simple idea to a theory required a mind more careful and analytical than my own.  ... 
doi:10.1007/978-0-387-79061-9_3143 fatcat:3gaqgsfrpneipbe6z5ge6czvs4

Digital Learning, Discourse, and Ideology [chapter]

Sarah Hayes
2017 Encyclopedia of Educational Philosophy and Theory  
The debt divide: The racial and class bias behind the "new normal" of student borrowing.  ...  Retrieved from ault/files/publications/Mark-Debt%20divide%20Final% 20(SF).pdf Kohan, W. (2015).  ...  This contrasts to a logical organization of subject matter, where the rationale for a particular subject is described and analyzed in a sensible, logical, linear fashion as is typical in textbook, an object  ... 
doi:10.1007/978-981-287-588-4_122 fatcat:xseqwos3kreb5obccojsgzugpa

Social Change [chapter]

2017 Encyclopedia of Educational Philosophy and Theory  
Things appear to have a spatial and temporal dimension but these dimensions are not the properties of a thing-in-itself.  ...  , and proofs.  ...  In a sense, the seminal "Limits to Growth" warning from the Club of Rome in the early 1970s not only applies to economic development but also to human development, and perhaps, any form of development.  ... 
doi:10.1007/978-981-287-588-4_100987 fatcat:rdu3lglmifgrzgvtv5ankz2sdy

Proceedings of the First International Workshop on Activity Theory Based Practical Methods for IT-Design, Copenhagen, Denmark, September 2-3, 2004

Olav Bertelsen, Mikko Korpela, Anja Mursu
2004 DAIMI Report Series  
basis in activity theory, its history, its use in practice etc.  ...  Based on the long list of successful applications of AT in this domain it seemed to be time to extract a collection of practical methods.  ...  Acknowledgements This research was made possible by a research grant from the Swedish Innovation Agency, Vinnova.  ... 
doi:10.7146/dpb.v33i574.7199 fatcat:535ogu7h7reztno5ksv3l2kowe

Critical theories of crisis in Europe: from Weimar to the euro

Romain Bonnet
2017 European Review of History  
The Reinventing Critical Theory series publishes cutting edge work that seeks to reinvent critical social theory for the twenty-first century.  ...  Books in the series provide alternative accounts and points of view regarding the development of critical social theory, put critical theory in dialogue with other intellectual traditions around the world  ...  Obama's claim to crisis characterized a moment in history, so as to mark off a new age, or a 'journey'. This journey is historical in so far as it pertains to an economic and political conjuncture.  ... 
doi:10.1080/13507486.2017.1317054 fatcat:5vmidwzfebhdnbloy5aagxukhq

Race, Rules and Relationships: What Can Critical Race Theory Offer Contemporary Aboriginal Boarding Schools?

Tessa Benveniste, John Guenther, Drew Dawson, Lorraine King
2018 Journal of Intercultural Studies  
This involved participants as co-researchers to the degree that the two researchers took the lead from community members in terms of who to talk to and, to a degree, what to talk about in a dialogic egalitarian  ...  It is in this kind of knowledge space that young Indigenous people from remote communities can effectively, safely and meaningfully engage in a teacher education pathway.  ...  The inter-war era: WWI to WWII TGH Strehlow recalls his childhood journey from the Lutheran mission at Hermannsburg to his father's death at Horseshoe Bend in 1922, retold in Journey to Horseshoe Bend  ... 
doi:10.1080/07256868.2018.1552573 fatcat:nmw2xhfkzbdddnbqgbc4x3lq7y

Nature [chapter]

2017 Encyclopedia of Educational Philosophy and Theory  
.), Encyclopedia of Educational Philosophy and Theory, https://doi.  ...  On the other hand, he appeals to the modal logic where he talks in terms of necessity. Now, what definition would a Quineian suggest for education?  ...  From the outset, Nietzsche makes it clear that, in these lectures, he does not propose a discrete set of policies or curriculum plans.  ... 
doi:10.1007/978-981-287-588-4_100675 fatcat:k6nsmzfvfbdkrd274vcmkkd7ey

Social Imaginaries and Econometrics for Education Policy [chapter]

Stuart Birks
2017 Encyclopedia of Educational Philosophy and Theory  
From a nation at risk to no child left behind: National education goals and the creation of federal education policy. New York: Teachers College.  ...  Things appear to have a spatial and temporal dimension but these dimensions are not the properties of a thing-in-itself.  ...  , and proofs.  ... 
doi:10.1007/978-981-287-588-4_387 fatcat:vvwysmnemvgtllhsxbj3rrvgqy

New elements of a theory of mind in wild chimpanzees

Christophe Boesch
1992 Behavioral and Brain Sciences  
In addition, monkeys seem unable to attribute mental states to others: They lack a "theory of mind."  ...  It also limits the extent to which their vocalizations can be called semantic. Finally, the skills that monkeys exhibit in social behavior are apparently domain specific.  ...  ACKNOWLEDGMENTS We thank the Government of Kenya for permission to work in Amboseli, and also the many people who read and commented on earlier drafts of our book.  ... 
doi:10.1017/s0140525x00067959 fatcat:t4w54vaibjbodniv5y7vhpezym

Phenomenology in Education [chapter]

Tone Saevi
2017 Encyclopedia of Educational Philosophy and Theory  
From a hermeneutic perspective, understanding and learning are situated within a temporal horizon. Referring to Husserl, Buck integrates the notion of intentionality into his theory.  ...  to human experience in their situated, spatial, temporal, and relational fullness.  ...  In the disciplinary society, you always restarted from zero; "you went from school to barracks, from barracks to factory" (Deleuze 1995, p. 179) .  ... 
doi:10.1007/978-981-287-588-4_98 fatcat:46kbu2u6hfbw7hnn7dkhpkiwbu
« Previous Showing results 1 — 15 out of 1,611 results